_require "./032_cycle.smi"
val y : int
